node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
link(1,33) :- #0.725.
link(33,1) :- #0.353.
link(1,54) :- #0.501.
link(54,1) :- #0.136.
link(1,80) :- #0.315.
link(80,1) :- #0.028.
link(1,81) :- #0.376.
link(81,1) :- #0.348.
link(1,82) :- #0.385.
link(82,1) :- #0.769.
link(1,84) :- #0.952.
link(84,1) :- #0.018.
link(1,109) :- #0.593.
link(109,1) :- #0.115.
link(1,119) :- #0.003.
link(119,1) :- #0.398.
link(1,127) :- #0.027.
link(127,1) :- #0.788.
link(2,13) :- #0.729.
link(13,2) :- #0.99.
link(2,27) :- #0.409.
link(27,2) :- #0.142.
link(2,36) :- #0.978.
link(36,2) :- #0.863.
link(2,45) :- #0.032.
link(45,2) :- #0.075.
link(2,52) :- #0.895.
link(52,2) :- #0.663.
link(2,67) :- #0.687.
link(67,2) :- #0.913.
link(2,73) :- #0.715.
link(73,2) :- #0.419.
link(2,76) :- #0.961.
link(76,2) :- #0.514.
link(2,100) :- #0.985.
link(100,2) :- #0.576.
link(2,107) :- #0.574.
link(107,2) :- #0.174.
link(2,108) :- #0.726.
link(108,2) :- #0.32.
link(2,126) :- #0.369.
link(126,2) :- #0.266.
link(2,131) :- #0.531.
link(131,2) :- #0.271.
link(3,40) :- #0.317.
link(40,3) :- #0.77.
link(3,42) :- #0.362.
link(42,3) :- #0.311.
link(3,44) :- #0.46.
link(44,3) :- #0.679.
link(3,51) :- #0.052.
link(51,3) :- #0.298.
link(3,78) :- #0.053.
link(78,3) :- #0.331.
link(3,86) :- #0.415.
link(86,3) :- #0.019.
link(3,87) :- #0.679.
link(87,3) :- #0.024.
link(3,88) :- #0.279.
link(88,3) :- #0.07.
link(3,97) :- #0.752.
link(97,3) :- #0.242.
link(3,102) :- #0.051.
link(102,3) :- #0.872.
link(3,120) :- #0.359.
link(120,3) :- #0.753.
link(3,133) :- #0.051.
link(133,3) :- #0.241.
link(4,24) :- #0.619.
link(24,4) :- #0.869.
link(4,30) :- #0.381.
link(30,4) :- #0.451.
link(4,33) :- #0.934.
link(33,4) :- #0.004.
link(4,49) :- #0.634.
link(49,4) :- #0.506.
link(4,54) :- #0.32.
link(54,4) :- #0.072.
link(4,62) :- #0.011.
link(62,4) :- #0.048.
link(4,63) :- #0.103.
link(63,4) :- #0.365.
link(4,65) :- #0.149.
link(65,4) :- #0.482.
link(4,71) :- #0.256.
link(71,4) :- #0.833.
link(4,102) :- #0.06.
link(102,4) :- #0.129.
link(4,111) :- #0.539.
link(111,4) :- #0.493.
link(4,129) :- #0.467.
link(129,4) :- #0.667.
link(4,134) :- #0.972.
link(134,4) :- #0.431.
link(5,8) :- #0.484.
link(8,5) :- #0.355.
link(5,33) :- #0.402.
link(33,5) :- #0.042.
link(5,37) :- #0.157.
link(37,5) :- #0.286.
link(5,41) :- #0.463.
link(41,5) :- #0.961.
link(5,50) :- #0.997.
link(50,5) :- #0.777.
link(5,66) :- #0.951.
link(66,5) :- #0.507.
link(5,74) :- #0.041.
link(74,5) :- #0.207.
link(5,90) :- #0.826.
link(90,5) :- #0.163.
link(5,95) :- #0.548.
link(95,5) :- #0.828.
link(5,97) :- #0.023.
link(97,5) :- #0.989.
link(5,124) :- #0.487.
link(124,5) :- #0.009.
link(5,133) :- #0.181.
link(133,5) :- #0.466.
link(5,134) :- #0.079.
link(134,5) :- #0.795.
link(6,17) :- #0.995.
link(17,6) :- #0.621.
link(6,19) :- #0.821.
link(19,6) :- #0.73.
link(6,30) :- #0.286.
link(30,6) :- #0.852.
link(6,63) :- #0.263.
link(63,6) :- #0.509.
link(6,69) :- #0.134.
link(69,6) :- #0.347.
link(6,81) :- #0.149.
link(81,6) :- #0.753.
link(6,99) :- #0.571.
link(99,6) :- #0.677.
link(6,102) :- #0.007.
link(102,6) :- #0.09.
link(6,125) :- #0.903.
link(125,6) :- #0.055.
link(7,23) :- #0.413.
link(23,7) :- #0.814.
link(7,27) :- #0.605.
link(27,7) :- #0.837.
link(7,43) :- #0.784.
link(43,7) :- #0.736.
link(7,52) :- #0.875.
link(52,7) :- #0.559.
link(7,63) :- #0.773.
link(63,7) :- #0.117.
link(7,75) :- #0.144.
link(75,7) :- #0.755.
link(7,81) :- #0.271.
link(81,7) :- #0.687.
link(7,92) :- #0.405.
link(92,7) :- #0.809.
link(7,100) :- #0.211.
link(100,7) :- #0.116.
link(7,118) :- #0.008.
link(118,7) :- #0.498.
link(7,119) :- #0.335.
link(119,7) :- #0.718.
link(7,124) :- #0.094.
link(124,7) :- #0.779.
link(7,133) :- #0.846.
link(133,7) :- #0.588.
link(8,15) :- #0.968.
link(15,8) :- #0.955.
link(8,44) :- #0.165.
link(44,8) :- #0.715.
link(8,49) :- #0.397.
link(49,8) :- #0.883.
link(8,70) :- #0.587.
link(70,8) :- #0.262.
link(8,72) :- #0.74.
link(72,8) :- #0.43.
link(8,74) :- #0.2.
link(74,8) :- #0.167.
link(8,75) :- #0.406.
link(75,8) :- #0.472.
link(8,91) :- #0.62.
link(91,8) :- #0.404.
link(8,93) :- #0.951.
link(93,8) :- #0.169.
link(8,104) :- #0.594.
link(104,8) :- #0.681.
link(8,105) :- #0.001.
link(105,8) :- #0.857.
link(9,12) :- #0.705.
link(12,9) :- #0.445.
link(9,16) :- #0.637.
link(16,9) :- #0.34.
link(9,56) :- #0.105.
link(56,9) :- #0.979.
link(9,57) :- #0.017.
link(57,9) :- #0.616.
link(9,67) :- #0.417.
link(67,9) :- #0.944.
link(9,75) :- #0.431.
link(75,9) :- #0.704.
link(9,81) :- #0.7.
link(81,9) :- #0.131.
link(9,83) :- #0.072.
link(83,9) :- #0.382.
link(9,86) :- #0.291.
link(86,9) :- #0.936.
link(9,90) :- #0.108.
link(90,9) :- #0.772.
link(9,99) :- #0.651.
link(99,9) :- #0.233.
link(9,104) :- #0.978.
link(104,9) :- #0.171.
link(9,132) :- #0.26.
link(132,9) :- #0.967.
link(9,133) :- #0.566.
link(133,9) :- #0.54.
link(9,134) :- #0.574.
link(134,9) :- #0.095.
link(10,18) :- #0.432.
link(18,10) :- #0.351.
link(10,20) :- #0.94.
link(20,10) :- #0.946.
link(10,34) :- #0.623.
link(34,10) :- #0.003.
link(10,36) :- #0.693.
link(36,10) :- #0.986.
link(10,37) :- #0.802.
link(37,10) :- #0.717.
link(10,49) :- #0.062.
link(49,10) :- #0.268.
link(10,56) :- #0.263.
link(56,10) :- #0.514.
link(10,65) :- #0.583.
link(65,10) :- #0.941.
link(10,69) :- #0.406.
link(69,10) :- #0.799.
link(10,70) :- #0.795.
link(70,10) :- #0.529.
link(10,77) :- #0.068.
link(77,10) :- #0.711.
link(10,80) :- #0.798.
link(80,10) :- #0.653.
link(10,108) :- #0.611.
link(108,10) :- #0.429.
link(10,119) :- #0.814.
link(119,10) :- #0.563.
link(10,120) :- #0.62.
link(120,10) :- #0.182.
link(10,121) :- #0.062.
link(121,10) :- #0.515.
link(10,129) :- #0.45.
link(129,10) :- #0.806.
link(11,17) :- #0.673.
link(17,11) :- #0.462.
link(11,22) :- #0.599.
link(22,11) :- #0.258.
link(11,26) :- #0.183.
link(26,11) :- #0.939.
link(11,43) :- #0.253.
link(43,11) :- #0.798.
link(11,55) :- #0.489.
link(55,11) :- #0.672.
link(11,75) :- #0.149.
link(75,11) :- #0.305.
link(11,76) :- #0.412.
link(76,11) :- #0.692.
link(11,79) :- #0.913.
link(79,11) :- #0.947.
link(11,93) :- #0.98.
link(93,11) :- #0.312.
link(11,94) :- #0.844.
link(94,11) :- #0.696.
link(11,110) :- #0.785.
link(110,11) :- #0.609.
link(11,119) :- #0.046.
link(119,11) :- #0.753.
link(12,15) :- #0.611.
link(15,12) :- #0.316.
link(12,31) :- #0.237.
link(31,12) :- #0.198.
link(12,32) :- #0.859.
link(32,12) :- #0.73.
link(12,34) :- #0.251.
link(34,12) :- #0.067.
link(12,39) :- #0.995.
link(39,12) :- #0.109.
link(12,48) :- #0.56.
link(48,12) :- #0.828.
link(12,61) :- #0.346.
link(61,12) :- #0.576.
link(12,62) :- #0.092.
link(62,12) :- #0.101.
link(12,71) :- #0.702.
link(71,12) :- #0.092.
link(12,95) :- #0.596.
link(95,12) :- #0.414.
link(12,99) :- #0.401.
link(99,12) :- #0.038.
link(12,120) :- #0.233.
link(120,12) :- #0.418.
link(13,20) :- #0.337.
link(20,13) :- #0.323.
link(13,41) :- #0.133.
link(41,13) :- #0.936.
link(13,45) :- #0.658.
link(45,13) :- #0.076.
link(13,48) :- #0.328.
link(48,13) :- #0.436.
link(13,53) :- #0.058.
link(53,13) :- #0.449.
link(13,55) :- #0.705.
link(55,13) :- #0.475.
link(13,57) :- #0.707.
link(57,13) :- #0.255.
link(13,63) :- #0.942.
link(63,13) :- #0.454.
link(13,66) :- #0.734.
link(66,13) :- #0.105.
link(13,69) :- #0.504.
link(69,13) :- #0.014.
link(13,71) :- #0.371.
link(71,13) :- #0.928.
link(13,79) :- #0.735.
link(79,13) :- #0.938.
link(13,115) :- #0.575.
link(115,13) :- #0.726.
link(13,120) :- #0.449.
link(120,13) :- #0.632.
link(13,123) :- #0.994.
link(123,13) :- #0.755.
link(13,130) :- #0.621.
link(130,13) :- #0.796.
link(14,18) :- #0.386.
link(18,14) :- #0.951.
link(14,20) :- #0.408.
link(20,14) :- #0.614.
link(14,23) :- #0.006.
link(23,14) :- #0.127.
link(14,24) :- #0.403.
link(24,14) :- #0.717.
link(14,27) :- #0.558.
link(27,14) :- #0.564.
link(14,54) :- #0.476.
link(54,14) :- #0.877.
link(14,55) :- #0.143.
link(55,14) :- #0.96.
link(14,70) :- #0.67.
link(70,14) :- #0.175.
link(14,90) :- #0.529.
link(90,14) :- #0.255.
link(14,92) :- #0.028.
link(92,14) :- #0.636.
link(14,94) :- #0.063.
link(94,14) :- #0.294.
link(14,97) :- #0.341.
link(97,14) :- #0.608.
link(14,98) :- #0.743.
link(98,14) :- #0.27.
link(14,104) :- #0.994.
link(104,14) :- #0.672.
link(14,110) :- #0.583.
link(110,14) :- #0.101.
link(14,111) :- #0.331.
link(111,14) :- #0.378.
link(14,127) :- #0.029.
link(127,14) :- #0.44.
link(15,22) :- #0.429.
link(22,15) :- #0.678.
link(15,26) :- #0.364.
link(26,15) :- #0.707.
link(15,30) :- #0.246.
link(30,15) :- #0.586.
link(15,40) :- #0.98.
link(40,15) :- #0.942.
link(15,42) :- #0.993.
link(42,15) :- #0.125.
link(15,66) :- #0.708.
link(66,15) :- #0.286.
link(15,75) :- #0.887.
link(75,15) :- #0.478.
link(15,80) :- #0.076.
link(80,15) :- #0.591.
link(15,101) :- #0.385.
link(101,15) :- #0.786.
link(15,107) :- #0.048.
link(107,15) :- #0.945.
link(15,109) :- #0.63.
link(109,15) :- #0.201.
link(15,110) :- #0.278.
link(110,15) :- #0.421.
link(15,122) :- #0.144.
link(122,15) :- #0.585.
link(15,126) :- #0.843.
link(126,15) :- #0.025.
link(15,132) :- #0.39.
link(132,15) :- #0.897.
link(16,35) :- #0.323.
link(35,16) :- #0.805.
link(16,36) :- #0.466.
link(36,16) :- #0.693.
link(16,45) :- #0.832.
link(45,16) :- #0.382.
link(16,50) :- #0.994.
link(50,16) :- #0.707.
link(16,51) :- #0.184.
link(51,16) :- #0.39.
link(16,58) :- #0.853.
link(58,16) :- #0.871.
link(16,62) :- #0.034.
link(62,16) :- #0.57.
link(16,70) :- #0.259.
link(70,16) :- #0.067.
link(16,75) :- #0.051.
link(75,16) :- #0.68.
link(16,80) :- #0.492.
link(80,16) :- #0.909.
link(16,88) :- #0.455.
link(88,16) :- #0.041.
link(16,123) :- #0.972.
link(123,16) :- #0.777.
link(16,124) :- #0.682.
link(124,16) :- #0.182.
link(16,127) :- #0.205.
link(127,16) :- #0.618.
link(16,131) :- #0.181.
link(131,16) :- #0.722.
link(16,133) :- #0.266.
link(133,16) :- #0.749.
link(17,52) :- #0.18.
link(52,17) :- #0.65.
link(17,66) :- #0.724.
link(66,17) :- #0.256.
link(17,67) :- #0.444.
link(67,17) :- #0.562.
link(17,106) :- #0.613.
link(106,17) :- #0.98.
link(17,113) :- #0.093.
link(113,17) :- #0.119.
link(17,121) :- #0.803.
link(121,17) :- #0.458.
link(18,22) :- #0.28.
link(22,18) :- #0.96.
link(18,47) :- #0.726.
link(47,18) :- #0.269.
link(18,51) :- #0.22.
link(51,18) :- #0.089.
link(18,59) :- #0.399.
link(59,18) :- #0.686.
link(18,65) :- #0.589.
link(65,18) :- #0.282.
link(18,67) :- #0.244.
link(67,18) :- #0.423.
link(18,69) :- #0.664.
link(69,18) :- #0.441.
link(18,70) :- #0.721.
link(70,18) :- #0.006.
link(18,90) :- #0.796.
link(90,18) :- #0.04.
link(18,98) :- #0.941.
link(98,18) :- #0.226.
link(18,106) :- #0.493.
link(106,18) :- #0.401.
link(18,115) :- #0.479.
link(115,18) :- #0.489.
link(18,133) :- #0.779.
link(133,18) :- #0.693.
link(19,30) :- #0.572.
link(30,19) :- #0.219.
link(19,32) :- #0.813.
link(32,19) :- #0.154.
link(19,38) :- #0.067.
link(38,19) :- #0.879.
link(19,48) :- #0.439.
link(48,19) :- #0.432.
link(19,50) :- #0.197.
link(50,19) :- #0.452.
link(19,65) :- #0.204.
link(65,19) :- #0.508.
link(19,79) :- #0.717.
link(79,19) :- #0.243.
link(19,101) :- #0.094.
link(101,19) :- #0.769.
link(19,122) :- #0.958.
link(122,19) :- #0.692.
link(20,31) :- #0.232.
link(31,20) :- #0.343.
link(20,32) :- #0.905.
link(32,20) :- #0.216.
link(20,38) :- #0.854.
link(38,20) :- #0.227.
link(20,39) :- #0.862.
link(39,20) :- #0.249.
link(20,58) :- #0.19.
link(58,20) :- #0.452.
link(20,79) :- #0.418.
link(79,20) :- #0.085.
link(20,109) :- #0.295.
link(109,20) :- #0.924.
link(20,112) :- #0.045.
link(112,20) :- #0.474.
link(20,113) :- #0.31.
link(113,20) :- #0.787.
link(20,123) :- #0.502.
link(123,20) :- #0.423.
link(20,129) :- #0.008.
link(129,20) :- #0.399.
link(20,131) :- #0.396.
link(131,20) :- #0.205.
link(20,133) :- #0.44.
link(133,20) :- #0.037.
link(21,35) :- #0.495.
link(35,21) :- #0.175.
link(21,42) :- #0.102.
link(42,21) :- #0.6.
link(21,47) :- #0.154.
link(47,21) :- #0.918.
link(21,82) :- #0.576.
link(82,21) :- #0.937.
link(21,91) :- #0.156.
link(91,21) :- #0.123.
link(21,97) :- #0.277.
link(97,21) :- #0.534.
link(21,124) :- #0.303.
link(124,21) :- #0.108.
link(21,133) :- #0.707.
link(133,21) :- #0.712.
link(21,135) :- #0.688.
link(135,21) :- #0.429.
link(22,25) :- #0.917.
link(25,22) :- #0.745.
link(22,32) :- #0.13.
link(32,22) :- #0.467.
link(22,37) :- #0.132.
link(37,22) :- #0.557.
link(22,39) :- #0.091.
link(39,22) :- #0.514.
link(22,44) :- #0.518.
link(44,22) :- #0.427.
link(22,62) :- #0.354.
link(62,22) :- #0.76.
link(22,65) :- #0.804.
link(65,22) :- #0.13.
link(22,70) :- #0.064.
link(70,22) :- #0.883.
link(22,80) :- #0.872.
link(80,22) :- #0.68.
link(22,96) :- #0.569.
link(96,22) :- #0.911.
link(22,98) :- #0.26.
link(98,22) :- #0.623.
link(22,112) :- #0.146.
link(112,22) :- #0.634.
link(22,115) :- #0.64.
link(115,22) :- #0.159.
link(22,118) :- #0.607.
link(118,22) :- #0.705.
link(22,122) :- #0.398.
link(122,22) :- #0.075.
link(23,26) :- #0.151.
link(26,23) :- #0.281.
link(23,27) :- #0.357.
link(27,23) :- #0.104.
link(23,59) :- #0.586.
link(59,23) :- #0.669.
link(23,66) :- #0.689.
link(66,23) :- #0.269.
link(23,71) :- #0.263.
link(71,23) :- #0.236.
link(23,75) :- #0.432.
link(75,23) :- #0.54.
link(23,81) :- #0.04.
link(81,23) :- #0.179.
link(23,89) :- #0.417.
link(89,23) :- #0.703.
link(23,105) :- #0.331.
link(105,23) :- #0.731.
link(23,107) :- #0.417.
link(107,23) :- #0.258.
link(23,124) :- #0.57.
link(124,23) :- #0.532.
link(24,26) :- #0.205.
link(26,24) :- #0.868.
link(24,32) :- #0.999.
link(32,24) :- #0.249.
link(24,41) :- #0.69.
link(41,24) :- #0.044.
link(24,45) :- #0.837.
link(45,24) :- #0.799.
link(24,66) :- #0.359.
link(66,24) :- #0.286.
link(24,69) :- #0.345.
link(69,24) :- #0.531.
link(24,71) :- #0.669.
link(71,24) :- #0.483.
link(24,78) :- #0.589.
link(78,24) :- #0.5.
link(24,82) :- #0.575.
link(82,24) :- #0.548.
link(24,98) :- #0.553.
link(98,24) :- #0.06.
link(24,100) :- #0.897.
link(100,24) :- #0.623.
link(24,117) :- #0.64.
link(117,24) :- #0.788.
link(24,130) :- #0.126.
link(130,24) :- #0.896.
link(24,135) :- #0.032.
link(135,24) :- #0.516.
link(25,27) :- #0.619.
link(27,25) :- #0.685.
link(25,35) :- #0.364.
link(35,25) :- #0.646.
link(25,37) :- #0.983.
link(37,25) :- #0.72.
link(25,43) :- #0.053.
link(43,25) :- #0.067.
link(25,45) :- #0.972.
link(45,25) :- #0.015.
link(25,54) :- #0.308.
link(54,25) :- #0.761.
link(25,59) :- #0.185.
link(59,25) :- #0.728.
link(25,81) :- #0.657.
link(81,25) :- #0.513.
link(25,85) :- #0.547.
link(85,25) :- #0.463.
link(25,100) :- #0.014.
link(100,25) :- #0.156.
link(25,102) :- #0.446.
link(102,25) :- #0.429.
link(25,110) :- #0.083.
link(110,25) :- #0.253.
link(25,132) :- #0.875.
link(132,25) :- #0.433.
link(26,28) :- #0.981.
link(28,26) :- #0.37.
link(26,35) :- #0.156.
link(35,26) :- #0.001.
link(26,39) :- #0.445.
link(39,26) :- #0.76.
link(26,40) :- #0.33.
link(40,26) :- #0.895.
link(26,45) :- #0.965.
link(45,26) :- #0.953.
link(26,56) :- #0.904.
link(56,26) :- #0.598.
link(26,65) :- #0.694.
link(65,26) :- #0.729.
link(26,72) :- #0.069.
link(72,26) :- #0.772.
link(26,89) :- #0.52.
link(89,26) :- #0.326.
link(26,91) :- #0.15.
link(91,26) :- #0.617.
link(26,120) :- #0.194.
link(120,26) :- #0.389.
link(26,122) :- #0.862.
link(122,26) :- #0.248.
link(26,125) :- #0.728.
link(125,26) :- #0.573.
link(27,38) :- #0.95.
link(38,27) :- #0.479.
link(27,58) :- #0.383.
link(58,27) :- #0.484.
link(27,60) :- #0.121.
link(60,27) :- #0.693.
link(27,63) :- #0.594.
link(63,27) :- #0.604.
link(27,66) :- #0.444.
link(66,27) :- #0.048.
link(27,70) :- #0.054.
link(70,27) :- #0.311.
link(27,73) :- #0.966.
link(73,27) :- #0.107.
link(27,81) :- #0.445.
link(81,27) :- #0.198.
link(27,82) :- #0.408.
link(82,27) :- #0.876.
link(27,92) :- #0.781.
link(92,27) :- #0.808.
link(27,94) :- #0.955.
link(94,27) :- #0.229.
link(27,105) :- #0.99.
link(105,27) :- #0.848.
link(27,106) :- #0.316.
link(106,27) :- #0.102.
link(27,110) :- #0.872.
link(110,27) :- #0.104.
link(27,115) :- #0.932.
link(115,27) :- #0.674.
link(27,123) :- #0.407.
link(123,27) :- #0.008.
link(28,37) :- #0.204.
link(37,28) :- #0.96.
link(28,55) :- #0.041.
link(55,28) :- #0.115.
link(28,57) :- #0.533.
link(57,28) :- #0.792.
link(28,100) :- #0.932.
link(100,28) :- #0.269.
link(28,110) :- #0.143.
link(110,28) :- #0.551.
link(28,132) :- #0.676.
link(132,28) :- #0.765.
link(29,48) :- #0.086.
link(48,29) :- #0.255.
link(29,52) :- #0.943.
link(52,29) :- #0.262.
link(29,62) :- #0.257.
link(62,29) :- #0.741.
link(29,67) :- #0.153.
link(67,29) :- #0.134.
link(29,72) :- #0.968.
link(72,29) :- #0.696.
link(29,73) :- #0.468.
link(73,29) :- #0.571.
link(29,77) :- #0.062.
link(77,29) :- #0.779.
link(29,128) :- #0.201.
link(128,29) :- #0.397.
link(30,36) :- #0.032.
link(36,30) :- #0.175.
link(30,42) :- #0.373.
link(42,30) :- #0.763.
link(30,57) :- #0.324.
link(57,30) :- #0.517.
link(30,77) :- #0.689.
link(77,30) :- #0.693.
link(31,39) :- #0.365.
link(39,31) :- #0.587.
link(31,45) :- #0.221.
link(45,31) :- #0.692.
link(31,51) :- #0.809.
link(51,31) :- #0.914.
link(31,54) :- #0.539.
link(54,31) :- #0.206.
link(31,63) :- #0.459.
link(63,31) :- #0.632.
link(31,72) :- #0.949.
link(72,31) :- #0.63.
link(31,78) :- #0.026.
link(78,31) :- #0.85.
link(31,82) :- #0.709.
link(82,31) :- #0.568.
link(31,93) :- #0.883.
link(93,31) :- #0.412.
link(31,96) :- #0.056.
link(96,31) :- #0.388.
link(31,97) :- #0.543.
link(97,31) :- #0.119.
link(31,102) :- #0.289.
link(102,31) :- #0.387.
link(31,110) :- #0.652.
link(110,31) :- #0.241.
link(31,117) :- #0.948.
link(117,31) :- #0.524.
link(32,33) :- #0.503.
link(33,32) :- #0.914.
link(32,38) :- #0.814.
link(38,32) :- #0.123.
link(32,44) :- #0.801.
link(44,32) :- #0.79.
link(32,52) :- #0.464.
link(52,32) :- #0.954.
link(32,55) :- #0.756.
link(55,32) :- #0.997.
link(32,69) :- #0.826.
link(69,32) :- #0.757.
link(32,84) :- #0.121.
link(84,32) :- #0.269.
link(32,87) :- #0.359.
link(87,32) :- #0.74.
link(32,95) :- #0.398.
link(95,32) :- #0.255.
link(32,99) :- #0.585.
link(99,32) :- #0.708.
link(32,102) :- #0.611.
link(102,32) :- #0.928.
link(32,127) :- #0.717.
link(127,32) :- #0.613.
link(33,49) :- #0.578.
link(49,33) :- #0.295.
link(33,58) :- #0.54.
link(58,33) :- #0.224.
link(33,60) :- #0.973.
link(60,33) :- #0.829.
link(33,73) :- #0.829.
link(73,33) :- #0.839.
link(33,74) :- #0.146.
link(74,33) :- #0.295.
link(33,77) :- #0.905.
link(77,33) :- #0.041.
link(33,82) :- #0.393.
link(82,33) :- #0.462.
link(33,103) :- #0.086.
link(103,33) :- #0.353.
link(33,116) :- #0.092.
link(116,33) :- #0.344.
link(33,123) :- #0.166.
link(123,33) :- #0.452.
link(33,126) :- #0.922.
link(126,33) :- #0.519.
link(33,131) :- #0.796.
link(131,33) :- #0.706.
link(34,40) :- #0.755.
link(40,34) :- #0.134.
link(34,64) :- #0.894.
link(64,34) :- #0.047.
link(34,67) :- #0.006.
link(67,34) :- #0.833.
link(34,69) :- #0.683.
link(69,34) :- #0.258.
link(34,88) :- #0.454.
link(88,34) :- #0.934.
link(34,92) :- #0.569.
link(92,34) :- #0.303.
link(34,96) :- #0.103.
link(96,34) :- #0.264.
link(34,117) :- #0.985.
link(117,34) :- #0.22.
link(34,133) :- #0.549.
link(133,34) :- #0.484.
link(35,37) :- #0.437.
link(37,35) :- #0.874.
link(35,38) :- #0.861.
link(38,35) :- #0.104.
link(35,41) :- #0.722.
link(41,35) :- #0.613.
link(35,48) :- #0.929.
link(48,35) :- #0.567.
link(35,56) :- #0.588.
link(56,35) :- #0.922.
link(35,60) :- #0.054.
link(60,35) :- #0.383.
link(35,65) :- #0.699.
link(65,35) :- #0.926.
link(35,70) :- #0.575.
link(70,35) :- #0.785.
link(35,71) :- #0.568.
link(71,35) :- #0.064.
link(35,105) :- #0.285.
link(105,35) :- #0.328.
link(35,118) :- #0.251.
link(118,35) :- #0.309.
link(36,40) :- #0.163.
link(40,36) :- #0.266.
link(36,42) :- #0.819.
link(42,36) :- #0.548.
link(36,55) :- #0.537.
link(55,36) :- #0.101.
link(36,59) :- #0.566.
link(59,36) :- #0.378.
link(36,71) :- #0.633.
link(71,36) :- #0.824.
link(36,77) :- #0.174.
link(77,36) :- #0.092.
link(36,90) :- #0.762.
link(90,36) :- #0.845.
link(36,92) :- #0.655.
link(92,36) :- #0.355.
link(37,39) :- #0.269.
link(39,37) :- #0.397.
link(37,77) :- #0.43.
link(77,37) :- #0.401.
link(37,88) :- #0.075.
link(88,37) :- #0.046.
link(37,99) :- #0.688.
link(99,37) :- #0.065.
link(37,112) :- #0.129.
link(112,37) :- #0.426.
link(37,114) :- #0.767.
link(114,37) :- #0.759.
link(37,121) :- #0.56.
link(121,37) :- #0.154.
link(37,127) :- #0.481.
link(127,37) :- #0.506.
link(37,132) :- #0.567.
link(132,37) :- #0.189.
link(38,55) :- #0.389.
link(55,38) :- #0.258.
link(38,69) :- #0.36.
link(69,38) :- #0.46.
link(38,74) :- #0.342.
link(74,38) :- #0.078.
link(38,75) :- #0.224.
link(75,38) :- #0.039.
link(38,77) :- #0.318.
link(77,38) :- #0.15.
link(38,78) :- #0.513.
link(78,38) :- #0.222.
link(38,86) :- #0.39.
link(86,38) :- #0.317.
link(38,92) :- #0.063.
link(92,38) :- #0.888.
link(38,99) :- #0.707.
link(99,38) :- #0.539.
link(38,105) :- #0.92.
link(105,38) :- #0.138.
link(38,108) :- #0.692.
link(108,38) :- #0.92.
link(38,112) :- #0.971.
link(112,38) :- #0.262.
link(38,120) :- #0.377.
link(120,38) :- #0.132.
link(38,123) :- #0.987.
link(123,38) :- #0.36.
link(38,128) :- #0.28.
link(128,38) :- #0.134.
link(38,135) :- #0.981.
link(135,38) :- #0.746.
link(39,52) :- #0.564.
link(52,39) :- #0.027.
link(39,67) :- #0.691.
link(67,39) :- #0.346.
link(39,70) :- #0.152.
link(70,39) :- #0.135.
link(39,71) :- #0.394.
link(71,39) :- #0.649.
link(39,79) :- #0.983.
link(79,39) :- #0.625.
link(39,80) :- #0.285.
link(80,39) :- #0.065.
link(39,104) :- #0.884.
link(104,39) :- #0.831.
link(39,112) :- #0.953.
link(112,39) :- #0.283.
link(40,42) :- #0.433.
link(42,40) :- #0.547.
link(40,51) :- #0.395.
link(51,40) :- #0.223.
link(40,56) :- #0.353.
link(56,40) :- #0.657.
link(40,57) :- #0.742.
link(57,40) :- #0.349.
link(40,59) :- #0.089.
link(59,40) :- #0.099.
link(40,66) :- #0.027.
link(66,40) :- #0.421.
link(40,90) :- #0.392.
link(90,40) :- #0.308.
link(40,103) :- #0.686.
link(103,40) :- #0.508.
link(41,57) :- #0.556.
link(57,41) :- #0.222.
link(41,61) :- #0.857.
link(61,41) :- #0.423.
link(41,62) :- #0.878.
link(62,41) :- #0.031.
link(41,63) :- #0.339.
link(63,41) :- #0.401.
link(41,74) :- #0.501.
link(74,41) :- #0.042.
link(41,80) :- #0.257.
link(80,41) :- #0.979.
link(41,87) :- #0.907.
link(87,41) :- #0.049.
link(41,90) :- #0.183.
link(90,41) :- #0.047.
link(41,96) :- #0.403.
link(96,41) :- #0.14.
link(41,116) :- #0.666.
link(116,41) :- #0.999.
link(42,46) :- #0.191.
link(46,42) :- #0.938.
link(42,47) :- #0.766.
link(47,42) :- #0.742.
link(42,60) :- #0.558.
link(60,42) :- #0.354.
link(42,68) :- #0.317.
link(68,42) :- #0.207.
link(42,74) :- #0.769.
link(74,42) :- #0.269.
link(42,76) :- #0.87.
link(76,42) :- #0.369.
link(42,83) :- #0.951.
link(83,42) :- #0.532.
link(42,88) :- #0.816.
link(88,42) :- #0.778.
link(42,90) :- #0.438.
link(90,42) :- #0.661.
link(42,99) :- #0.318.
link(99,42) :- #0.255.
link(42,105) :- #0.058.
link(105,42) :- #0.894.
link(42,106) :- #0.735.
link(106,42) :- #0.919.
link(42,113) :- #0.062.
link(113,42) :- #0.431.
link(42,114) :- #0.187.
link(114,42) :- #0.548.
link(42,119) :- #0.93.
link(119,42) :- #0.813.
link(42,130) :- #0.231.
link(130,42) :- #0.739.
link(43,46) :- #0.047.
link(46,43) :- #0.418.
link(43,53) :- #0.945.
link(53,43) :- #0.42.
link(43,62) :- #0.147.
link(62,43) :- #0.667.
link(43,77) :- #0.662.
link(77,43) :- #0.293.
link(43,87) :- #0.848.
link(87,43) :- #0.182.
link(43,93) :- #0.491.
link(93,43) :- #0.253.
link(43,95) :- #0.362.
link(95,43) :- #0.083.
link(43,97) :- #0.309.
link(97,43) :- #0.145.
link(43,121) :- #0.297.
link(121,43) :- #0.712.
link(43,126) :- #0.138.
link(126,43) :- #0.383.
link(43,131) :- #0.174.
link(131,43) :- #0.345.
link(44,51) :- #0.629.
link(51,44) :- #0.365.
link(44,52) :- #0.934.
link(52,44) :- #0.976.
link(44,54) :- #0.354.
link(54,44) :- #0.909.
link(44,90) :- #0.04.
link(90,44) :- #0.925.
link(44,105) :- #0.886.
link(105,44) :- #0.432.
link(44,110) :- #0.289.
link(110,44) :- #0.122.
link(44,111) :- #0.462.
link(111,44) :- #0.507.
link(44,116) :- #0.751.
link(116,44) :- #0.129.
link(44,121) :- #0.629.
link(121,44) :- #0.126.
link(45,49) :- #0.215.
link(49,45) :- #0.935.
link(45,56) :- #0.568.
link(56,45) :- #0.225.
link(45,59) :- #0.788.
link(59,45) :- #0.62.
link(45,71) :- #0.258.
link(71,45) :- #0.109.
link(45,74) :- #0.995.
link(74,45) :- #0.169.
link(45,75) :- #0.694.
link(75,45) :- #0.726.
link(45,76) :- #0.496.
link(76,45) :- #0.139.
link(45,78) :- #0.804.
link(78,45) :- #0.598.
link(45,83) :- #0.9.
link(83,45) :- #0.718.
link(45,89) :- #0.472.
link(89,45) :- #0.514.
link(45,105) :- #0.623.
link(105,45) :- #0.097.
link(45,107) :- #0.17.
link(107,45) :- #0.17.
link(45,119) :- #0.295.
link(119,45) :- #0.205.
link(45,125) :- #0.78.
link(125,45) :- #0.269.
link(45,132) :- #0.205.
link(132,45) :- #0.836.
link(46,53) :- #0.264.
link(53,46) :- #0.529.
link(46,55) :- #0.17.
link(55,46) :- #0.449.
link(46,57) :- #0.396.
link(57,46) :- #0.521.
link(46,72) :- #0.186.
link(72,46) :- #0.251.
link(46,76) :- #0.893.
link(76,46) :- #0.781.
link(46,96) :- #0.204.
link(96,46) :- #0.447.
link(46,101) :- #0.054.
link(101,46) :- #0.566.
link(46,103) :- #0.439.
link(103,46) :- #0.183.
link(46,114) :- #0.782.
link(114,46) :- #0.568.
link(46,120) :- #0.068.
link(120,46) :- #0.97.
link(46,124) :- #0.339.
link(124,46) :- #0.677.
link(46,129) :- #0.044.
link(129,46) :- #0.434.
link(47,51) :- #0.81.
link(51,47) :- #0.236.
link(47,55) :- #0.694.
link(55,47) :- #0.59.
link(47,83) :- #0.443.
link(83,47) :- #0.404.
link(47,84) :- #0.769.
link(84,47) :- #0.512.
link(47,90) :- #0.418.
link(90,47) :- #0.063.
link(47,95) :- #0.677.
link(95,47) :- #0.982.
link(47,98) :- #0.186.
link(98,47) :- #0.983.
link(47,104) :- #0.742.
link(104,47) :- #0.264.
link(47,128) :- #0.13.
link(128,47) :- #0.442.
link(47,133) :- #0.794.
link(133,47) :- #0.655.
link(47,134) :- #0.6.
link(134,47) :- #0.65.
link(48,54) :- #0.153.
link(54,48) :- #0.339.
link(48,86) :- #0.314.
link(86,48) :- #0.861.
link(48,111) :- #0.873.
link(111,48) :- #0.821.
link(48,124) :- #0.06.
link(124,48) :- #0.969.
link(48,126) :- #0.704.
link(126,48) :- #0.056.
link(48,130) :- #0.646.
link(130,48) :- #0.432.
link(49,55) :- #0.892.
link(55,49) :- #0.978.
link(49,68) :- #0.179.
link(68,49) :- #0.111.
link(49,83) :- #0.204.
link(83,49) :- #0.579.
link(49,89) :- #0.19.
link(89,49) :- #0.727.
link(49,96) :- #0.222.
link(96,49) :- #0.946.
link(49,104) :- #0.638.
link(104,49) :- #0.401.
link(49,117) :- #0.355.
link(117,49) :- #0.507.
link(49,131) :- #0.672.
link(131,49) :- #0.667.
link(49,135) :- #0.422.
link(135,49) :- #0.493.
link(50,77) :- #0.714.
link(77,50) :- #0.336.
link(50,99) :- #0.319.
link(99,50) :- #0.895.
link(50,102) :- #0.317.
link(102,50) :- #0.271.
link(50,104) :- #0.809.
link(104,50) :- #0.389.
link(50,108) :- #0.511.
link(108,50) :- #0.706.
link(50,110) :- #0.071.
link(110,50) :- #0.453.
link(50,118) :- #0.547.
link(118,50) :- #0.12.
link(50,121) :- #0.35.
link(121,50) :- #0.747.
link(50,129) :- #0.798.
link(129,50) :- #0.445.
link(50,131) :- #0.92.
link(131,50) :- #0.16.
link(50,134) :- #0.974.
link(134,50) :- #0.513.
link(51,53) :- #0.053.
link(53,51) :- #0.724.
link(51,55) :- #0.928.
link(55,51) :- #0.273.
link(51,63) :- #0.826.
link(63,51) :- #0.831.
link(51,65) :- #0.364.
link(65,51) :- #0.412.
link(51,67) :- #0.144.
link(67,51) :- #0.266.
link(51,85) :- #0.525.
link(85,51) :- #0.28.
link(51,102) :- #0.284.
link(102,51) :- #0.23.
link(51,105) :- #0.669.
link(105,51) :- #0.456.
link(51,118) :- #0.81.
link(118,51) :- #0.331.
link(51,125) :- #0.487.
link(125,51) :- #0.101.
link(52,68) :- #0.65.
link(68,52) :- #0.149.
link(52,91) :- #0.813.
link(91,52) :- #0.486.
link(52,99) :- #0.149.
link(99,52) :- #0.223.
link(52,106) :- #0.402.
link(106,52) :- #0.463.
link(52,108) :- #0.714.
link(108,52) :- #0.534.
link(52,114) :- #0.633.
link(114,52) :- #0.304.
link(52,117) :- #0.318.
link(117,52) :- #0.989.
link(52,132) :- #0.633.
link(132,52) :- #0.468.
link(53,59) :- #0.251.
link(59,53) :- #0.108.
link(53,63) :- #0.274.
link(63,53) :- #0.585.
link(53,86) :- #0.544.
link(86,53) :- #0.539.
link(53,88) :- #0.193.
link(88,53) :- #0.162.
link(53,93) :- #0.023.
link(93,53) :- #0.173.
link(53,123) :- #0.371.
link(123,53) :- #0.203.
link(53,133) :- #0.775.
link(133,53) :- #0.097.
link(54,57) :- #0.017.
link(57,54) :- #0.568.
link(54,78) :- #0.428.
link(78,54) :- #0.187.
link(54,99) :- #0.57.
link(99,54) :- #0.533.
link(54,110) :- #0.309.
link(110,54) :- #0.836.
link(54,113) :- #0.384.
link(113,54) :- #0.646.
link(54,131) :- #0.585.
link(131,54) :- #0.524.
link(54,133) :- #0.273.
link(133,54) :- #0.626.
link(54,135) :- #0.607.
link(135,54) :- #0.031.
link(55,64) :- #0.07.
link(64,55) :- #0.306.
link(55,75) :- #0.128.
link(75,55) :- #0.308.
link(55,84) :- #0.015.
link(84,55) :- #0.578.
link(55,86) :- #0.877.
link(86,55) :- #0.914.
link(55,87) :- #0.255.
link(87,55) :- #0.936.
link(55,110) :- #0.431.
link(110,55) :- #0.553.
link(55,112) :- #0.569.
link(112,55) :- #0.79.
link(55,126) :- #0.735.
link(126,55) :- #0.452.
link(55,130) :- #0.361.
link(130,55) :- #0.693.
link(55,131) :- #0.264.
link(131,55) :- #0.927.
link(55,132) :- #0.65.
link(132,55) :- #0.289.
link(55,133) :- #0.39.
link(133,55) :- #0.643.
link(56,70) :- #0.735.
link(70,56) :- #0.116.
link(56,72) :- #0.132.
link(72,56) :- #0.329.
link(56,74) :- #0.139.
link(74,56) :- #0.736.
link(56,89) :- #0.371.
link(89,56) :- #0.582.
link(56,107) :- #0.572.
link(107,56) :- #0.538.
link(56,108) :- #0.663.
link(108,56) :- #0.142.
link(56,128) :- #0.816.
link(128,56) :- #0.28.
link(56,134) :- #0.746.
link(134,56) :- #0.441.
link(57,58) :- #0.519.
link(58,57) :- #0.131.
link(57,79) :- #0.457.
link(79,57) :- #0.44.
link(57,88) :- #0.945.
link(88,57) :- #0.936.
link(57,89) :- #0.168.
link(89,57) :- #0.738.
link(57,106) :- #0.182.
link(106,57) :- #0.363.
link(57,112) :- #0.742.
link(112,57) :- #0.667.
link(57,116) :- #0.459.
link(116,57) :- #0.744.
link(57,118) :- #0.854.
link(118,57) :- #0.747.
link(57,123) :- #0.147.
link(123,57) :- #0.128.
link(58,65) :- #0.04.
link(65,58) :- #0.301.
link(58,68) :- #0.121.
link(68,58) :- #0.572.
link(58,69) :- #0.753.
link(69,58) :- #0.656.
link(58,90) :- #0.18.
link(90,58) :- #0.751.
link(58,91) :- #0.791.
link(91,58) :- #0.779.
link(58,96) :- #0.81.
link(96,58) :- #0.063.
link(58,120) :- #0.78.
link(120,58) :- #0.15.
link(58,128) :- #0.002.
link(128,58) :- #0.667.
link(59,80) :- #0.557.
link(80,59) :- #0.572.
link(59,92) :- #0.965.
link(92,59) :- #0.86.
link(59,109) :- #0.958.
link(109,59) :- #0.401.
link(59,115) :- #0.394.
link(115,59) :- #0.556.
link(59,116) :- #0.975.
link(116,59) :- #0.572.
link(59,128) :- #0.333.
link(128,59) :- #0.002.
link(60,76) :- #0.701.
link(76,60) :- #0.08.
link(60,87) :- #0.425.
link(87,60) :- #0.355.
link(60,91) :- #0.134.
link(91,60) :- #0.154.
link(60,99) :- #0.376.
link(99,60) :- #0.04.
link(60,100) :- #0.299.
link(100,60) :- #0.88.
link(60,115) :- #0.269.
link(115,60) :- #0.668.
link(61,70) :- #0.398.
link(70,61) :- #0.123.
link(61,71) :- #0.084.
link(71,61) :- #0.229.
link(61,77) :- #0.848.
link(77,61) :- #0.222.
link(61,103) :- #0.429.
link(103,61) :- #0.729.
link(61,110) :- #0.989.
link(110,61) :- #0.486.
link(61,113) :- #0.492.
link(113,61) :- #0.93.
link(61,134) :- #0.493.
link(134,61) :- #0.264.
link(62,75) :- #0.179.
link(75,62) :- #0.286.
link(62,90) :- #0.875.
link(90,62) :- #0.424.
link(62,91) :- #0.886.
link(91,62) :- #0.168.
link(62,99) :- #0.871.
link(99,62) :- #0.072.
link(62,117) :- #0.687.
link(117,62) :- #0.456.
link(62,123) :- #0.534.
link(123,62) :- #0.127.
link(62,134) :- #0.555.
link(134,62) :- #0.151.
link(63,66) :- #0.076.
link(66,63) :- #0.834.
link(63,68) :- #0.593.
link(68,63) :- #0.866.
link(63,71) :- #0.249.
link(71,63) :- #0.157.
link(63,79) :- #0.949.
link(79,63) :- #0.448.
link(63,95) :- #0.281.
link(95,63) :- #0.279.
link(63,113) :- #0.778.
link(113,63) :- #0.155.
link(63,118) :- #0.437.
link(118,63) :- #0.827.
link(64,66) :- #0.267.
link(66,64) :- #0.416.
link(64,75) :- #0.416.
link(75,64) :- #0.057.
link(64,83) :- #0.693.
link(83,64) :- #0.218.
link(64,87) :- #0.374.
link(87,64) :- #0.688.
link(64,105) :- #0.842.
link(105,64) :- #0.442.
link(64,107) :- #0.921.
link(107,64) :- #0.699.
link(64,112) :- #0.879.
link(112,64) :- #0.426.
link(64,121) :- #0.374.
link(121,64) :- #0.578.
link(65,78) :- #0.158.
link(78,65) :- #0.51.
link(65,84) :- #0.675.
link(84,65) :- #0.901.
link(65,97) :- #0.261.
link(97,65) :- #0.407.
link(65,101) :- #0.133.
link(101,65) :- #0.853.
link(65,103) :- #0.958.
link(103,65) :- #0.652.
link(65,106) :- #0.621.
link(106,65) :- #0.311.
link(65,109) :- #0.373.
link(109,65) :- #0.875.
link(65,132) :- #0.462.
link(132,65) :- #0.355.
link(66,67) :- #0.745.
link(67,66) :- #0.834.
link(66,74) :- #0.516.
link(74,66) :- #0.705.
link(66,75) :- #0.933.
link(75,66) :- #0.435.
link(67,74) :- #0.099.
link(74,67) :- #0.395.
link(67,79) :- #0.859.
link(79,67) :- #0.949.
link(67,90) :- #0.468.
link(90,67) :- #0.409.
link(67,98) :- #0.076.
link(98,67) :- #0.236.
link(67,117) :- #0.614.
link(117,67) :- #0.524.
link(67,133) :- #0.484.
link(133,67) :- #0.649.
link(68,74) :- #0.614.
link(74,68) :- #0.11.
link(68,77) :- #0.134.
link(77,68) :- #0.868.
link(68,87) :- #0.702.
link(87,68) :- #0.153.
link(68,96) :- #0.16.
link(96,68) :- #0.913.
link(68,108) :- #0.383.
link(108,68) :- #0.728.
link(68,111) :- #0.033.
link(111,68) :- #0.875.
link(68,122) :- #0.296.
link(122,68) :- #0.144.
link(69,71) :- #0.802.
link(71,69) :- #0.393.
link(69,75) :- #0.263.
link(75,69) :- #0.86.
link(69,89) :- #0.293.
link(89,69) :- #0.866.
link(69,92) :- #0.015.
link(92,69) :- #0.34.
link(69,93) :- #0.834.
link(93,69) :- #0.786.
link(69,97) :- #0.899.
link(97,69) :- #0.422.
link(69,102) :- #0.101.
link(102,69) :- #0.257.
link(69,110) :- #0.433.
link(110,69) :- #0.624.
link(69,115) :- #0.713.
link(115,69) :- #0.705.
link(69,132) :- #0.635.
link(132,69) :- #0.49.
link(70,96) :- #0.154.
link(96,70) :- #0.296.
link(70,108) :- #0.526.
link(108,70) :- #0.515.
link(70,111) :- #0.089.
link(111,70) :- #0.785.
link(70,118) :- #0.346.
link(118,70) :- #0.039.
link(70,129) :- #0.769.
link(129,70) :- #0.201.
link(70,135) :- #0.454.
link(135,70) :- #0.472.
link(71,73) :- #0.802.
link(73,71) :- #0.034.
link(71,75) :- #0.49.
link(75,71) :- #0.198.
link(71,85) :- #0.285.
link(85,71) :- #0.88.
link(71,89) :- #0.51.
link(89,71) :- #0.096.
link(71,91) :- #0.207.
link(91,71) :- #0.788.
link(71,94) :- #0.854.
link(94,71) :- #0.918.
link(71,109) :- #0.926.
link(109,71) :- #0.963.
link(71,121) :- #0.698.
link(121,71) :- #0.098.
link(71,125) :- #0.586.
link(125,71) :- #0.954.
link(71,126) :- #0.389.
link(126,71) :- #0.428.
link(72,76) :- #0.093.
link(76,72) :- #0.561.
link(72,97) :- #0.853.
link(97,72) :- #0.515.
link(72,134) :- #0.997.
link(134,72) :- #0.628.
link(73,82) :- #0.85.
link(82,73) :- #0.664.
link(73,84) :- #0.531.
link(84,73) :- #0.498.
link(73,89) :- #0.693.
link(89,73) :- #0.898.
link(73,104) :- #0.525.
link(104,73) :- #0.576.
link(73,116) :- #0.713.
link(116,73) :- #0.96.
link(73,131) :- #0.945.
link(131,73) :- #0.532.
link(73,134) :- #0.455.
link(134,73) :- #0.346.
link(73,135) :- #0.747.
link(135,73) :- #0.526.
link(74,84) :- #0.98.
link(84,74) :- #0.601.
link(74,91) :- #0.39.
link(91,74) :- #0.43.
link(74,101) :- #0.022.
link(101,74) :- #0.092.
link(74,106) :- #0.206.
link(106,74) :- #0.681.
link(74,109) :- #0.028.
link(109,74) :- #0.527.
link(74,110) :- #0.227.
link(110,74) :- #0.623.
link(74,116) :- #0.571.
link(116,74) :- #0.033.
link(74,125) :- #0.824.
link(125,74) :- #0.393.
link(74,129) :- #0.627.
link(129,74) :- #0.377.
link(75,79) :- #0.508.
link(79,75) :- #0.583.
link(75,96) :- #0.79.
link(96,75) :- #0.035.
link(75,99) :- #0.462.
link(99,75) :- #0.448.
link(75,101) :- #0.611.
link(101,75) :- #0.257.
link(75,102) :- #0.405.
link(102,75) :- #0.976.
link(75,104) :- #0.7.
link(104,75) :- #0.032.
link(75,107) :- #0.323.
link(107,75) :- #0.019.
link(75,112) :- #0.452.
link(112,75) :- #0.131.
link(75,116) :- #0.706.
link(116,75) :- #0.11.
link(75,119) :- #0.901.
link(119,75) :- #0.982.
link(75,122) :- #0.453.
link(122,75) :- #0.912.
link(75,134) :- #0.179.
link(134,75) :- #0.471.
link(76,78) :- #0.445.
link(78,76) :- #0.213.
link(76,84) :- #0.886.
link(84,76) :- #0.493.
link(76,91) :- #0.398.
link(91,76) :- #0.394.
link(76,92) :- #0.64.
link(92,76) :- #0.866.
link(76,94) :- #0.478.
link(94,76) :- #0.554.
link(77,88) :- #0.663.
link(88,77) :- #0.515.
link(77,94) :- #0.972.
link(94,77) :- #0.529.
link(77,105) :- #0.128.
link(105,77) :- #0.618.
link(77,108) :- #0.151.
link(108,77) :- #0.532.
link(77,114) :- #0.548.
link(114,77) :- #0.816.
link(78,82) :- #0.173.
link(82,78) :- #0.673.
link(78,99) :- #0.762.
link(99,78) :- #0.956.
link(78,109) :- #0.277.
link(109,78) :- #0.398.
link(78,132) :- #0.432.
link(132,78) :- #0.122.
link(79,82) :- #0.506.
link(82,79) :- #0.478.
link(79,84) :- #0.821.
link(84,79) :- #0.392.
link(79,122) :- #0.273.
link(122,79) :- #0.418.
link(79,134) :- #0.201.
link(134,79) :- #0.673.
link(80,87) :- #0.387.
link(87,80) :- #0.536.
link(80,93) :- #0.448.
link(93,80) :- #0.937.
link(80,114) :- #0.707.
link(114,80) :- #0.93.
link(80,118) :- #0.311.
link(118,80) :- #0.641.
link(80,123) :- #0.803.
link(123,80) :- #0.577.
link(81,85) :- #0.742.
link(85,81) :- #0.302.
link(81,88) :- #0.45.
link(88,81) :- #0.921.
link(81,89) :- #0.673.
link(89,81) :- #0.363.
link(81,90) :- #0.15.
link(90,81) :- #0.942.
link(81,97) :- #0.28.
link(97,81) :- #0.
link(81,106) :- #0.308.
link(106,81) :- #0.476.
link(81,129) :- #0.113.
link(129,81) :- #0.533.
link(82,83) :- #0.987.
link(83,82) :- #0.94.
link(82,109) :- #0.552.
link(109,82) :- #0.244.
link(82,124) :- #0.33.
link(124,82) :- #0.681.
link(83,116) :- #0.7.
link(116,83) :- #0.578.
link(83,125) :- #0.478.
link(125,83) :- #0.535.
link(84,86) :- #0.59.
link(86,84) :- #0.837.
link(84,125) :- #0.905.
link(125,84) :- #0.334.
link(84,135) :- #0.102.
link(135,84) :- #0.235.
link(85,101) :- #0.472.
link(101,85) :- #0.763.
link(85,128) :- #0.36.
link(128,85) :- #0.855.
link(86,105) :- #0.451.
link(105,86) :- #0.152.
link(86,111) :- #0.993.
link(111,86) :- #0.939.
link(86,126) :- #0.468.
link(126,86) :- #0.211.
link(87,94) :- #0.086.
link(94,87) :- #0.751.
link(87,105) :- #0.721.
link(105,87) :- #0.954.
link(87,128) :- #0.23.
link(128,87) :- #0.027.
link(88,103) :- #0.209.
link(103,88) :- #0.854.
link(88,106) :- #0.751.
link(106,88) :- #0.676.
link(88,112) :- #0.706.
link(112,88) :- #0.708.
link(88,117) :- #0.149.
link(117,88) :- #0.891.
link(89,95) :- #0.3.
link(95,89) :- #0.589.
link(89,99) :- #0.483.
link(99,89) :- #0.208.
link(89,119) :- #0.719.
link(119,89) :- #0.206.
link(89,134) :- #0.879.
link(134,89) :- #0.174.
link(89,135) :- #0.017.
link(135,89) :- #0.799.
link(90,111) :- #0.373.
link(111,90) :- #0.428.
link(90,131) :- #0.474.
link(131,90) :- #0.575.
link(91,92) :- #0.016.
link(92,91) :- #0.82.
link(91,101) :- #0.423.
link(101,91) :- #0.401.
link(91,103) :- #0.566.
link(103,91) :- #0.21.
link(91,112) :- #0.868.
link(112,91) :- #0.781.
link(91,113) :- #0.32.
link(113,91) :- #0.282.
link(91,125) :- #0.045.
link(125,91) :- #0.886.
link(92,103) :- #0.139.
link(103,92) :- #0.914.
link(92,108) :- #0.77.
link(108,92) :- #0.787.
link(92,126) :- #0.389.
link(126,92) :- #0.472.
link(93,95) :- #0.587.
link(95,93) :- #0.042.
link(93,99) :- #0.35.
link(99,93) :- #0.176.
link(93,121) :- #0.297.
link(121,93) :- #0.051.
link(93,127) :- #0.406.
link(127,93) :- #0.12.
link(94,98) :- #0.603.
link(98,94) :- #0.163.
link(94,103) :- #0.342.
link(103,94) :- #0.348.
link(94,111) :- #0.958.
link(111,94) :- #0.591.
link(94,131) :- #0.122.
link(131,94) :- #0.028.
link(94,132) :- #0.617.
link(132,94) :- #0.799.
link(94,135) :- #0.285.
link(135,94) :- #0.229.
link(95,99) :- #0.55.
link(99,95) :- #0.954.
link(95,127) :- #0.216.
link(127,95) :- #0.354.
link(96,121) :- #0.907.
link(121,96) :- #0.273.
link(97,101) :- #0.228.
link(101,97) :- #0.142.
link(97,108) :- #0.901.
link(108,97) :- #0.017.
link(97,129) :- #0.052.
link(129,97) :- #0.441.
link(97,135) :- #0.068.
link(135,97) :- #0.504.
link(98,114) :- #0.655.
link(114,98) :- #0.055.
link(98,118) :- #0.383.
link(118,98) :- #0.722.
link(98,122) :- #0.645.
link(122,98) :- #0.939.
link(98,128) :- #0.495.
link(128,98) :- #0.923.
link(98,130) :- #0.84.
link(130,98) :- #0.435.
link(99,102) :- #0.596.
link(102,99) :- #0.523.
link(99,104) :- #0.32.
link(104,99) :- #0.871.
link(99,108) :- #0.155.
link(108,99) :- #0.611.
link(99,113) :- #0.623.
link(113,99) :- #0.729.
link(99,133) :- #0.829.
link(133,99) :- #0.508.
link(100,113) :- #0.181.
link(113,100) :- #0.126.
link(102,105) :- #0.336.
link(105,102) :- #0.137.
link(102,106) :- #0.169.
link(106,102) :- #0.894.
link(102,110) :- #0.646.
link(110,102) :- #0.945.
link(102,111) :- #0.973.
link(111,102) :- #0.318.
link(102,133) :- #0.611.
link(133,102) :- #0.96.
link(103,105) :- #0.57.
link(105,103) :- #0.196.
link(103,106) :- #0.474.
link(106,103) :- #0.244.
link(103,109) :- #0.359.
link(109,103) :- #0.313.
link(103,110) :- #0.899.
link(110,103) :- #0.659.
link(103,125) :- #0.929.
link(125,103) :- #0.585.
link(104,107) :- #0.144.
link(107,104) :- #0.148.
link(104,108) :- #0.948.
link(108,104) :- #0.809.
link(104,124) :- #0.347.
link(124,104) :- #0.73.
link(105,111) :- #0.684.
link(111,105) :- #0.288.
link(106,110) :- #0.152.
link(110,106) :- #0.286.
link(106,133) :- #0.616.
link(133,106) :- #0.21.
link(107,125) :- #0.711.
link(125,107) :- #0.138.
link(108,115) :- #0.491.
link(115,108) :- #0.939.
link(108,117) :- #0.801.
link(117,108) :- #0.116.
link(108,125) :- #0.81.
link(125,108) :- #0.727.
link(109,120) :- #0.094.
link(120,109) :- #0.332.
link(109,128) :- #0.948.
link(128,109) :- #0.455.
link(110,116) :- #0.528.
link(116,110) :- #0.663.
link(110,119) :- #0.558.
link(119,110) :- #0.044.
link(110,122) :- #0.158.
link(122,110) :- #0.981.
link(110,125) :- #0.789.
link(125,110) :- #0.097.
link(111,116) :- #0.403.
link(116,111) :- #0.386.
link(111,135) :- #0.843.
link(135,111) :- #0.132.
link(112,113) :- #0.381.
link(113,112) :- #0.241.
link(112,117) :- #0.973.
link(117,112) :- #0.617.
link(112,119) :- #0.261.
link(119,112) :- #0.001.
link(112,133) :- #0.855.
link(133,112) :- #0.776.
link(113,133) :- #0.565.
link(133,113) :- #0.983.
link(114,116) :- #0.241.
link(116,114) :- #0.182.
link(114,125) :- #0.923.
link(125,114) :- #0.034.
link(114,127) :- #0.38.
link(127,114) :- #0.177.
link(114,134) :- #0.521.
link(134,114) :- #0.034.
link(115,135) :- #0.331.
link(135,115) :- #0.792.
link(117,119) :- #0.717.
link(119,117) :- #0.438.
link(117,122) :- #0.267.
link(122,117) :- #0.547.
link(117,129) :- #0.814.
link(129,117) :- #0.146.
link(117,130) :- #0.988.
link(130,117) :- #0.261.
link(118,126) :- #0.878.
link(126,118) :- #0.656.
link(119,126) :- #0.457.
link(126,119) :- #0.957.
link(119,129) :- #0.496.
link(129,119) :- #0.131.
link(119,134) :- #0.343.
link(134,119) :- #0.413.
link(120,123) :- #0.421.
link(123,120) :- #0.085.
link(120,129) :- #0.538.
link(129,120) :- #0.834.
link(121,127) :- #0.019.
link(127,121) :- #0.277.
link(121,131) :- #0.009.
link(131,121) :- #0.06.
link(123,135) :- #0.76.
link(135,123) :- #0.027.
link(126,130) :- #0.188.
link(130,126) :- #0.4.
link(126,131) :- #0.869.
link(131,126) :- #0.984.
link(127,131) :- #0.463.
link(131,127) :- #0.499.
link(128,132) :- #0.734.
link(132,128) :- #0.869.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
